$\forall$$i$:Id, $L$:Knd List, $x$:Id. @$i$: only members of $L$ read $x$ $\in$ Dsys